Designing a GUI for Proofs - Evaluation of an HCI Experiment
نویسندگان
چکیده
Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil HCI experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the usage of the GUI by applying it to construct a proof sketch for a given theorem. The evaluation of the experiment provides insights for the interaction design for non-expert users and the needs and wants of this user group.
منابع مشابه
Designing a Proof GUI for Non-Experts – Evaluation of an Experiment
Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the u...
متن کاملبررسی و مدلسازی اثر ناپایداری در دمای بالا و بایاس منفی (NBTI) و تزریق حاملهای پرانرژی (HCI) در افزارههای چندگیتی نانومتری
In this paper, analytical models for NBTI induced degradation in a P-channel triple gate MOSFET and HCI induced degradation in an N-channel bulk FinFET are presented, through solving the Reaction-Diffusion equations multi-dimensionally considering geometry dependence of this framework of equations. The new models are compared to measurement data and gives excellent results. The results interpre...
متن کاملEvaluation of HCI models to control a network system through a graphical user interface
SAAB has a project under development for a network system with connected nodes, where the nodes are both information consumer and producer of different communication types. A node is an equipment or an object that are used by the army e.g. it can be a soldier, military hospital or an UAV. The nodes function as a part of a mission e.g. a mission can be Defend Gotland. The aim of this project is ...
متن کاملDesign of a Software Tool for Mobile Application User Mental Models Collection and Visualization
Mental model is a fundamental term in human-computer interaction (HCI). The process of HCI creates different qualitative levels of user experience (UX) which can be determined by the quality of communication between a technological product (the system) and a user of this product. The level of user experience is indirectly derivable from measurement of different qualitative and quantitative aspe...
متن کاملDesigning a Model for Evaluation of Universities System
Control and evaluation are major secrets of an organization's survival.Universities, as research and educational organizations, need to be evaluated in order to survive. The results of educational activities encompass a vast spectrum including the graduates, researchers and planners, scientific publications, as well as satisfaction of students, parents, profossors and staff (Ramsden, 1996).Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0903.3926 شماره
صفحات -
تاریخ انتشار 2005